$\forall$${\it the\_w}$:world\{i:l\}. fair{-}fifo\{i:l\}(${\it the\_w}$) $\in$ Prop$_{\mbox{\scriptsize i'}}$